Sampling-based Decentralized Monitoring for Networked Embedded Systems

Sampling-based Decentralized Monitoring for Networked Embedded Systems

Decentralized monitoring (DM) refers to a monitoring technique, where each component must infer, based on a set of partial observations if the global property is satisfied. Our work is inspired by the theoretical results presented by Baurer and Falcone at FM 2012 [7], where the authors introduced an algorithm for distributing and monitoring LTL formulae, such that satisfaction or violation of s...

Decentralized Control Framework for Networked Control Systems

The combination of decentralized and networked control where control loops are closed through a network is defined as Decentralized Networked Control System (DNCS). In this paper, we introduce a general framework that converts a generic decentralized control configuration of non-networked systems to the general setup of Networked Control Systems (NCS). An observer-based decentralized control me...

Prototyping Networked Embedded Systems

Networked Embedded Systems

Ten years after the Internet revolution are we standing on the brink of another revolution: networked embedded systems that connect the physical world with the computers, enabling new applications ranging from environmental monitoring and wildlife tracking to improvements in health care and medicine. Only 2% of all microprocessors that are sold today are used in PCs; the remaining 98% of all mi...

Model-Based Security Risk Analysis for Networked Embedded Systems

Finding a balance between functional and non-functional requirements and resources in embedded systems has always been a challenge. What brings this challenge into a sharper focus is that embedded devices are increasingly deployed in many networked applications, some of which will form the backbone of the critical information infrastructures on which we all depend. The Security-Enhanced Embedde...